Glossary for Partial Evaluation and Related Topics
نویسنده
چکیده
Most areas of research or work use their own set of words and phrases and gives specific technical meaning to terms that in everyday speech may mean something less specific or something else entirely. The area of partial evaluation and program transformation is no different, which may make it hard for the uninitiated to grasp some parts of technical papers or discussions. This list of words and terms is intended as a help to people new in the subject area, but may also be of help to experienced researchers, as different research groups tend to develop different terminology.
منابع مشابه
Developing a Critical Checklist for Textbook Evaluation
This study has been carried out to develop a critical checklist for global/commercial textbooks which play a crucial role in language teaching/learning. For this aim, a number of items have been developed based on a comprehensive review of the related literature and experts’ opinions. The tentative checklist was administered to the targeted population, yet 326 checklists were deemed appropriate...
متن کاملIcu-usa
Although the initial page would have benefited from a search engine, I did find a medical and a pharmacology glossary, which provide an impressive list of definitions. I next explored the ICU Medical Information section, and was pleased to find that most topics offered reasonable explanations, and issues such as patient discomfort, and duration and possible complications of treatments were incl...
متن کاملFood Security in China
1. Food Security: One of China’s Most Important Topics 1.1 Population pressure 1.2 Resource pressures 1.3 Grain is taken as one of the most important topics in China 2. Chinese Understanding of Food Security 2.1 Quantity implications 2.2 Quality implications 2.3 Other implications 3. The “White Paper: The Grain Issues in China” 3.1 The background for publishing the white paper 3.2 The main cont...
متن کاملCross-Cultural Research: An Introduction for Students
Outline 1 What is Cross-Cultural Research? Cultural coherence or decoherence within and between human communities: human behavior, beliefs, and institutions 2 A Course in Cross-Cultural Research 3 Goals and Outcome 4 Tools: Spss; Maps and MapTab; Statistics for Galton’s Problem 5 Topics and Terms: Lists of Topics; Files; References; Glossary 6 Resources: e.g., On-line articles, e.g., JSTOR “Pol...
متن کاملکندوکاوی در انعکاس موضوعات کتابداری و اطلاع رسانی در روزنامه های کثیرالانتشار سال 1390
Purpose: The objective of this research is to identify the occurrence rate , publication style and type of topics related to library and information science that were found in widely read newspapers in 1390 (2011). Methodology: In this research, the content analysis was used in order to investigate library and information science topics in widely read Iranian newspapers. The The statistical su...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Higher-Order and Symbolic Computation
دوره 13 شماره
صفحات -
تاریخ انتشار 2000